<!DOCTYPE html>
<meta charset=utf-8>
<title>invalid cite: port-leading-colon-bracket-colon</title>
<del cite="http://2001::1]:80"></del>
